例文
- もっと例文: 1 2 3 4 5
- The second recursion theorem can be applied to any total recursive function.
- The second part of the first recursion theorem follows from the first part.
- To apply the first recursion theorem, the recursion equations must first be recast as a recursive operator.
- A classic example using the second recursion theorem is the function Q ( x, y ) = x.
- Quines are possible in any Turing complete programming language, as a direct consequence of Kleene's recursion theorem.